Master Theorem Proof